COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	% Corrections to \beginfundef and \endfundef and mathmode handling
C00006 ENDMK
C⊗;
% Corrections to \beginfundef and \endfundef and mathmode handling
{\catcode`\ =\active
\global\everymath={\catcode`\ =\active\def {\mathinner{\mkern-\thinmuskip}}}}
%
% Redefine \it to have a known family number (namely 4)
%
\def\it{\fam4\tenit}\textfont4=\tenit\scriptfont4=\seveni\scriptscriptfont4=\fivei
%
% Define all the letters to use \it instead of \mit by default
%
\mathcode`\A="7441 \mathcode`\B="7442 \mathcode`\C="7443 \mathcode`\D="7444
\mathcode`\E="7445 \mathcode`\F="7446 \mathcode`\G="7447 \mathcode`\H="7448
\mathcode`\I="7449 \mathcode`\J="744A \mathcode`\K="744B \mathcode`\L="744C
\mathcode`\M="744D \mathcode`\N="744E \mathcode`\O="744F \mathcode`\P="7450
\mathcode`\Q="7451 \mathcode`\R="7452 \mathcode`\S="7453 \mathcode`\T="7454
\mathcode`\U="7455 \mathcode`\V="7456 \mathcode`\W="7457 \mathcode`\X="7458
\mathcode`\Y="7459 \mathcode`\Z="745A
\mathcode`\a="7461 \mathcode`\b="7462 \mathcode`\c="7463 \mathcode`\d="7464
\mathcode`\e="7465 \mathcode`\f="7466 \mathcode`\g="7467 \mathcode`\h="7468
\mathcode`\i="7469 \mathcode`\j="746A \mathcode`\k="746B \mathcode`\l="746C
\mathcode`\m="746D \mathcode`\n="746E \mathcode`\o="746F \mathcode`\p="7470
\mathcode`\q="7471 \mathcode`\r="7472 \mathcode`\s="7473 \mathcode`\t="7474
\mathcode`\u="7475 \mathcode`\v="7476 \mathcode`\w="7477 \mathcode`\x="7478
\mathcode`\y="7479 \mathcode`\z="747A
%
% Define - to be a hyphen and \minus to be the regular minus sign
\mathcode`\-="747B\mathchardef\minus="2200
%
% Define < and > to be openings and closings instead of relations.
\mathcode`\<="413C\mathcode`\>="513E
\def\beginfundef{%
  \advance\funCounter by 1   
   $$\hbox to \displaywidth\bgroup
    \rm (\number\funCounter)\hfil
   $\vcenter\bgroup\openup\jot\ialign\bgroup &$\displaystyle ##$\hfil\crcr
}
\def\endfundef{\crcr\egroup\egroup$\hfil\egroup$$}

\def\qlet{\mathop{\bf let}}
\def\qin{\mathop{\bf in\,}}
\def\qaddone{add1}
\def\qsubone{sub1}